Trefferliste "Automated Reasoning" - alle Bücher

Ihre Suche nach "Automated Reasoning" (Bücher) ergab 5 Treffer

Automated Reasoning

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern

Automated Reasoning

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80* Aktueller Preis: EUR 43,80

Artikel merken

In den Warenkorb

Menge ändern

Model Checking Software

Lecture Notes in Computer Science -Band 14624

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers,…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75* Aktueller Preis: EUR 54,75

Artikel merken

In den Warenkorb

Menge ändern

Advances in Automation, Mechanical and Design Engineering

This book presents the proceedings of the 2023 4th International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Nanjing, China, on December 8 10, 2023. It gathers contribution…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 273,80* Aktueller Preis: EUR 273,80

Artikel merken

In den Warenkorb

Menge ändern

Advances in Automation, Mechanical and Design Engineering

This book presents the proceedings of the 2022 3rd International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Beijing, China, on December 16 18, 2022, and organized by the H…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03* Aktueller Preis: EUR 219,03

Artikel merken

In den Warenkorb

Menge ändern